
    Syntax      label %:= CENTER% label

    Purpose     Isolates the center expression in a relation.

    %Example%

    þR1 : c < d < e
    þE1:=CENTER R1
    E1 : d

    PROCEDURE Example(LABEL L1, L2) ;
      L2 := CENTER L1 ;
    EXIT

